Toc Polynomial Time Reduction